#git push origin --delete

Eliminar Rama Local en Git: Guía Completa para Limpiar Repositorios

Guía práctica para gestionar ramas en Git: elimina ramas locales y remotas con seguridad, usa git branch -d/-D, git push origin --delete y limpia referencias.